Nuprl Definition : secret-table
0,22
postcript
pdf
secret-table(
T
) ==
K
:
(
K
Atom1
(
+Atom1)
data(
T
))
latex
clarification:
secret-table(
T
) ==
K
:
({0..
K
}
Atom1
(
+Atom1)
data(
T
))
latex
Definitions
x
:
A
B
(
x
)
,
{
i
..
j
}
,
#$n
,
x
:
A
B
(
x
)
,
left
+
right
,
,
Atom$n
,
data(
T
)
FDL editor aliases
secret-table
origin
(K
Atom1(+Atom1)data(T))
({0..K
}Atom1(+Atom1)data(T)) (KAtom1(+Atom1)data(T))
({0..K}Atom1(+Atom1)data(T)) B(x)}B(x)